|
In algebraic topology, a branch of mathematics, singular homology refers to the study of a certain set of algebraic invariants of a topological space ''X'', the so-called homology groups . Intuitively spoken, singular homology counts, for each dimension ''n'', the ''n''-dimensional holes of a space. Singular homology is a particular example of a homology theory, which has now grown to be a rather broad collection of theories. Of the various theories, it is perhaps one of the simpler ones to understand, being built on fairly concrete constructions. In brief, singular homology is constructed by taking maps of the standard ''n''-simplex to a topological space, and composing them into formal sums, called singular chains. The boundary operation on a simplex induces a singular chain complex. The singular homology is then the homology of the chain complex. The resulting homology groups are the same for all homotopically equivalent spaces, which is the reason for their study. These constructions can be applied to all topological spaces, and so singular homology can be expressed in terms of category theory, where the homology group becomes a functor from the category of topological spaces to the category of graded abelian groups. These ideas are developed in greater detail below. == Singular simplices == A singular ''n''-simplex is a continuous mapping from the standard ''n''-simplex to a topological space ''X''. Notationally, one writes . This mapping need not be injective, so there can be non-equivalent singular simplices with the same image in ''X''. The boundary of , denoted as , is defined to be the formal sum of the singular (''n'' − 1)-simplices represented by the restriction of to the faces of the standard ''n''-simplex, with an alternating sign to take orientation into account. (A formal sum is an element of the free abelian group on the simplices. The basis for the group is the infinite set of all possible images of standard simplices. The group operation is "addition" and the sum of image ''a'' with image ''b'' is usually simply designated ''a'' + ''b'', but ''a'' + ''a'' = 2''a'' and so on. Every image ''a'' has a negative −''a''.) Thus, if we designate the range of by its vertices : corresponding to the vertices of the standard ''n''-simplex (which of course does not fully specify the standard simplex image produced by ), then : is a formal sum of the faces of the simplex image designated in a specific way. (That is, a particular face has to be the image of applied to a designation of a face of which depends on the order that its vertices are listed.) Thus, for example, the boundary of (a curve going from to ) is the formal sum (or "formal difference") . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「singular homology」の詳細全文を読む スポンサード リンク
|